$\forall$$r$:RngSig, $u$:$\mid$$r$$\mid$. $r${-}Prime($u$) $\in$ $\mathbb{P}$